3.1.62 \(\int \frac {x^8 (a+b \log (c x^n))}{(d+e x)^7} \, dx\) [62]
Optimal. Leaf size=329 \[ \frac {28 b d n x}{e^8}-\frac {d (280 a+341 b n) x}{10 e^8}-\frac {7 b n x^2}{e^7}-\frac {28 b d x \log \left (c x^n\right )}{e^8}-\frac {x^8 \left (a+b \log \left (c x^n\right )\right )}{6 e (d+e x)^6}-\frac {x^7 \left (8 a+b n+8 b \log \left (c x^n\right )\right )}{30 e^2 (d+e x)^5}-\frac {x^6 \left (56 a+15 b n+56 b \log \left (c x^n\right )\right )}{120 e^3 (d+e x)^4}-\frac {x^5 \left (168 a+73 b n+168 b \log \left (c x^n\right )\right )}{180 e^4 (d+e x)^3}+\frac {x^2 \left (280 a+341 b n+280 b \log \left (c x^n\right )\right )}{20 e^7}-\frac {x^4 \left (840 a+533 b n+840 b \log \left (c x^n\right )\right )}{360 e^5 (d+e x)^2}-\frac {x^3 \left (840 a+743 b n+840 b \log \left (c x^n\right )\right )}{90 e^6 (d+e x)}+\frac {d^2 \left (280 a+341 b n+280 b \log \left (c x^n\right )\right ) \log \left (1+\frac {e x}{d}\right )}{10 e^9}+\frac {28 b d^2 n \text {Li}_2\left (-\frac {e x}{d}\right )}{e^9} \]
[Out]
28*b*d*n*x/e^8-1/10*d*(341*b*n+280*a)*x/e^8-7*b*n*x^2/e^7-28*b*d*x*ln(c*x^n)/e^8-1/6*x^8*(a+b*ln(c*x^n))/e/(e*
x+d)^6-1/30*x^7*(8*a+b*n+8*b*ln(c*x^n))/e^2/(e*x+d)^5-1/120*x^6*(56*a+15*b*n+56*b*ln(c*x^n))/e^3/(e*x+d)^4-1/1
80*x^5*(168*a+73*b*n+168*b*ln(c*x^n))/e^4/(e*x+d)^3+1/20*x^2*(280*a+341*b*n+280*b*ln(c*x^n))/e^7-1/360*x^4*(84
0*a+533*b*n+840*b*ln(c*x^n))/e^5/(e*x+d)^2-1/90*x^3*(840*a+743*b*n+840*b*ln(c*x^n))/e^6/(e*x+d)+1/10*d^2*(280*
a+341*b*n+280*b*ln(c*x^n))*ln(1+e*x/d)/e^9+28*b*d^2*n*polylog(2,-e*x/d)/e^9
________________________________________________________________________________________
Rubi [A]
time = 0.66, antiderivative size = 329, normalized size of antiderivative = 1.00, number of steps
used = 13, number of rules used = 7, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.333, Rules used = {2384, 45,
2393, 2332, 2341, 2354, 2438} \begin {gather*} \frac {28 b d^2 n \text {PolyLog}\left (2,-\frac {e x}{d}\right )}{e^9}+\frac {d^2 \log \left (\frac {e x}{d}+1\right ) \left (280 a+280 b \log \left (c x^n\right )+341 b n\right )}{10 e^9}-\frac {x^3 \left (840 a+840 b \log \left (c x^n\right )+743 b n\right )}{90 e^6 (d+e x)}-\frac {x^4 \left (840 a+840 b \log \left (c x^n\right )+533 b n\right )}{360 e^5 (d+e x)^2}-\frac {x^5 \left (168 a+168 b \log \left (c x^n\right )+73 b n\right )}{180 e^4 (d+e x)^3}-\frac {x^6 \left (56 a+56 b \log \left (c x^n\right )+15 b n\right )}{120 e^3 (d+e x)^4}-\frac {x^7 \left (8 a+8 b \log \left (c x^n\right )+b n\right )}{30 e^2 (d+e x)^5}-\frac {x^8 \left (a+b \log \left (c x^n\right )\right )}{6 e (d+e x)^6}+\frac {x^2 \left (280 a+280 b \log \left (c x^n\right )+341 b n\right )}{20 e^7}-\frac {d x (280 a+341 b n)}{10 e^8}-\frac {28 b d x \log \left (c x^n\right )}{e^8}+\frac {28 b d n x}{e^8}-\frac {7 b n x^2}{e^7} \end {gather*}
Antiderivative was successfully verified.
[In]
Int[(x^8*(a + b*Log[c*x^n]))/(d + e*x)^7,x]
[Out]
(28*b*d*n*x)/e^8 - (d*(280*a + 341*b*n)*x)/(10*e^8) - (7*b*n*x^2)/e^7 - (28*b*d*x*Log[c*x^n])/e^8 - (x^8*(a +
b*Log[c*x^n]))/(6*e*(d + e*x)^6) - (x^7*(8*a + b*n + 8*b*Log[c*x^n]))/(30*e^2*(d + e*x)^5) - (x^6*(56*a + 15*b
*n + 56*b*Log[c*x^n]))/(120*e^3*(d + e*x)^4) - (x^5*(168*a + 73*b*n + 168*b*Log[c*x^n]))/(180*e^4*(d + e*x)^3)
+ (x^2*(280*a + 341*b*n + 280*b*Log[c*x^n]))/(20*e^7) - (x^4*(840*a + 533*b*n + 840*b*Log[c*x^n]))/(360*e^5*(
d + e*x)^2) - (x^3*(840*a + 743*b*n + 840*b*Log[c*x^n]))/(90*e^6*(d + e*x)) + (d^2*(280*a + 341*b*n + 280*b*Lo
g[c*x^n])*Log[1 + (e*x)/d])/(10*e^9) + (28*b*d^2*n*PolyLog[2, -((e*x)/d)])/e^9
Rule 45
Int[((a_.) + (b_.)*(x_))^(m_.)*((c_.) + (d_.)*(x_))^(n_.), x_Symbol] :> Int[ExpandIntegrand[(a + b*x)^m*(c + d
*x)^n, x], x] /; FreeQ[{a, b, c, d, n}, x] && NeQ[b*c - a*d, 0] && IGtQ[m, 0] && ( !IntegerQ[n] || (EqQ[c, 0]
&& LeQ[7*m + 4*n + 4, 0]) || LtQ[9*m + 5*(n + 1), 0] || GtQ[m + n + 2, 0])
Rule 2332
Int[Log[(c_.)*(x_)^(n_.)], x_Symbol] :> Simp[x*Log[c*x^n], x] - Simp[n*x, x] /; FreeQ[{c, n}, x]
Rule 2341
Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))*((d_.)*(x_))^(m_.), x_Symbol] :> Simp[(d*x)^(m + 1)*((a + b*Log[c*x^
n])/(d*(m + 1))), x] - Simp[b*n*((d*x)^(m + 1)/(d*(m + 1)^2)), x] /; FreeQ[{a, b, c, d, m, n}, x] && NeQ[m, -1
]
Rule 2354
Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)/((d_) + (e_.)*(x_)), x_Symbol] :> Simp[Log[1 + e*(x/d)]*((a +
b*Log[c*x^n])^p/e), x] - Dist[b*n*(p/e), Int[Log[1 + e*(x/d)]*((a + b*Log[c*x^n])^(p - 1)/x), x], x] /; FreeQ[
{a, b, c, d, e, n}, x] && IGtQ[p, 0]
Rule 2384
Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))*((f_.)*(x_))^(m_.)*((d_) + (e_.)*(x_))^(q_.), x_Symbol] :> Simp[(f*x
)^m*(d + e*x)^(q + 1)*((a + b*Log[c*x^n])/(e*(q + 1))), x] - Dist[f/(e*(q + 1)), Int[(f*x)^(m - 1)*(d + e*x)^(
q + 1)*(a*m + b*n + b*m*Log[c*x^n]), x], x] /; FreeQ[{a, b, c, d, e, f, m, n}, x] && ILtQ[q, -1] && GtQ[m, 0]
Rule 2393
Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))*((f_.)*(x_))^(m_.)*((d_) + (e_.)*(x_)^(r_.))^(q_.), x_Symbol] :> Wit
h[{u = ExpandIntegrand[a + b*Log[c*x^n], (f*x)^m*(d + e*x^r)^q, x]}, Int[u, x] /; SumQ[u]] /; FreeQ[{a, b, c,
d, e, f, m, n, q, r}, x] && IntegerQ[q] && (GtQ[q, 0] || (IntegerQ[m] && IntegerQ[r]))
Rule 2438
Int[Log[(c_.)*((d_) + (e_.)*(x_)^(n_.))]/(x_), x_Symbol] :> Simp[-PolyLog[2, (-c)*e*x^n]/n, x] /; FreeQ[{c, d,
e, n}, x] && EqQ[c*d, 1]
Rubi steps
\begin {align*} \int \frac {x^8 \left (a+b \log \left (c x^n\right )\right )}{(d+e x)^7} \, dx &=\int \left (-\frac {7 d \left (a+b \log \left (c x^n\right )\right )}{e^8}+\frac {x \left (a+b \log \left (c x^n\right )\right )}{e^7}+\frac {d^8 \left (a+b \log \left (c x^n\right )\right )}{e^8 (d+e x)^7}-\frac {8 d^7 \left (a+b \log \left (c x^n\right )\right )}{e^8 (d+e x)^6}+\frac {28 d^6 \left (a+b \log \left (c x^n\right )\right )}{e^8 (d+e x)^5}-\frac {56 d^5 \left (a+b \log \left (c x^n\right )\right )}{e^8 (d+e x)^4}+\frac {70 d^4 \left (a+b \log \left (c x^n\right )\right )}{e^8 (d+e x)^3}-\frac {56 d^3 \left (a+b \log \left (c x^n\right )\right )}{e^8 (d+e x)^2}+\frac {28 d^2 \left (a+b \log \left (c x^n\right )\right )}{e^8 (d+e x)}\right ) \, dx\\ &=-\frac {(7 d) \int \left (a+b \log \left (c x^n\right )\right ) \, dx}{e^8}+\frac {\left (28 d^2\right ) \int \frac {a+b \log \left (c x^n\right )}{d+e x} \, dx}{e^8}-\frac {\left (56 d^3\right ) \int \frac {a+b \log \left (c x^n\right )}{(d+e x)^2} \, dx}{e^8}+\frac {\left (70 d^4\right ) \int \frac {a+b \log \left (c x^n\right )}{(d+e x)^3} \, dx}{e^8}-\frac {\left (56 d^5\right ) \int \frac {a+b \log \left (c x^n\right )}{(d+e x)^4} \, dx}{e^8}+\frac {\left (28 d^6\right ) \int \frac {a+b \log \left (c x^n\right )}{(d+e x)^5} \, dx}{e^8}-\frac {\left (8 d^7\right ) \int \frac {a+b \log \left (c x^n\right )}{(d+e x)^6} \, dx}{e^8}+\frac {d^8 \int \frac {a+b \log \left (c x^n\right )}{(d+e x)^7} \, dx}{e^8}+\frac {\int x \left (a+b \log \left (c x^n\right )\right ) \, dx}{e^7}\\ &=-\frac {7 a d x}{e^8}-\frac {b n x^2}{4 e^7}+\frac {x^2 \left (a+b \log \left (c x^n\right )\right )}{2 e^7}-\frac {d^8 \left (a+b \log \left (c x^n\right )\right )}{6 e^9 (d+e x)^6}+\frac {8 d^7 \left (a+b \log \left (c x^n\right )\right )}{5 e^9 (d+e x)^5}-\frac {7 d^6 \left (a+b \log \left (c x^n\right )\right )}{e^9 (d+e x)^4}+\frac {56 d^5 \left (a+b \log \left (c x^n\right )\right )}{3 e^9 (d+e x)^3}-\frac {35 d^4 \left (a+b \log \left (c x^n\right )\right )}{e^9 (d+e x)^2}-\frac {56 d^2 x \left (a+b \log \left (c x^n\right )\right )}{e^8 (d+e x)}+\frac {28 d^2 \left (a+b \log \left (c x^n\right )\right ) \log \left (1+\frac {e x}{d}\right )}{e^9}-\frac {(7 b d) \int \log \left (c x^n\right ) \, dx}{e^8}-\frac {\left (28 b d^2 n\right ) \int \frac {\log \left (1+\frac {e x}{d}\right )}{x} \, dx}{e^9}+\frac {\left (35 b d^4 n\right ) \int \frac {1}{x (d+e x)^2} \, dx}{e^9}-\frac {\left (56 b d^5 n\right ) \int \frac {1}{x (d+e x)^3} \, dx}{3 e^9}+\frac {\left (7 b d^6 n\right ) \int \frac {1}{x (d+e x)^4} \, dx}{e^9}-\frac {\left (8 b d^7 n\right ) \int \frac {1}{x (d+e x)^5} \, dx}{5 e^9}+\frac {\left (b d^8 n\right ) \int \frac {1}{x (d+e x)^6} \, dx}{6 e^9}+\frac {\left (56 b d^2 n\right ) \int \frac {1}{d+e x} \, dx}{e^8}\\ &=-\frac {7 a d x}{e^8}+\frac {7 b d n x}{e^8}-\frac {b n x^2}{4 e^7}-\frac {7 b d x \log \left (c x^n\right )}{e^8}+\frac {x^2 \left (a+b \log \left (c x^n\right )\right )}{2 e^7}-\frac {d^8 \left (a+b \log \left (c x^n\right )\right )}{6 e^9 (d+e x)^6}+\frac {8 d^7 \left (a+b \log \left (c x^n\right )\right )}{5 e^9 (d+e x)^5}-\frac {7 d^6 \left (a+b \log \left (c x^n\right )\right )}{e^9 (d+e x)^4}+\frac {56 d^5 \left (a+b \log \left (c x^n\right )\right )}{3 e^9 (d+e x)^3}-\frac {35 d^4 \left (a+b \log \left (c x^n\right )\right )}{e^9 (d+e x)^2}-\frac {56 d^2 x \left (a+b \log \left (c x^n\right )\right )}{e^8 (d+e x)}+\frac {56 b d^2 n \log (d+e x)}{e^9}+\frac {28 d^2 \left (a+b \log \left (c x^n\right )\right ) \log \left (1+\frac {e x}{d}\right )}{e^9}+\frac {28 b d^2 n \text {Li}_2\left (-\frac {e x}{d}\right )}{e^9}+\frac {\left (35 b d^4 n\right ) \int \left (\frac {1}{d^2 x}-\frac {e}{d (d+e x)^2}-\frac {e}{d^2 (d+e x)}\right ) \, dx}{e^9}-\frac {\left (56 b d^5 n\right ) \int \left (\frac {1}{d^3 x}-\frac {e}{d (d+e x)^3}-\frac {e}{d^2 (d+e x)^2}-\frac {e}{d^3 (d+e x)}\right ) \, dx}{3 e^9}+\frac {\left (7 b d^6 n\right ) \int \left (\frac {1}{d^4 x}-\frac {e}{d (d+e x)^4}-\frac {e}{d^2 (d+e x)^3}-\frac {e}{d^3 (d+e x)^2}-\frac {e}{d^4 (d+e x)}\right ) \, dx}{e^9}-\frac {\left (8 b d^7 n\right ) \int \left (\frac {1}{d^5 x}-\frac {e}{d (d+e x)^5}-\frac {e}{d^2 (d+e x)^4}-\frac {e}{d^3 (d+e x)^3}-\frac {e}{d^4 (d+e x)^2}-\frac {e}{d^5 (d+e x)}\right ) \, dx}{5 e^9}+\frac {\left (b d^8 n\right ) \int \left (\frac {1}{d^6 x}-\frac {e}{d (d+e x)^6}-\frac {e}{d^2 (d+e x)^5}-\frac {e}{d^3 (d+e x)^4}-\frac {e}{d^4 (d+e x)^3}-\frac {e}{d^5 (d+e x)^2}-\frac {e}{d^6 (d+e x)}\right ) \, dx}{6 e^9}\\ &=-\frac {7 a d x}{e^8}+\frac {7 b d n x}{e^8}-\frac {b n x^2}{4 e^7}+\frac {b d^7 n}{30 e^9 (d+e x)^5}-\frac {43 b d^6 n}{120 e^9 (d+e x)^4}+\frac {167 b d^5 n}{90 e^9 (d+e x)^3}-\frac {131 b d^4 n}{20 e^9 (d+e x)^2}+\frac {219 b d^3 n}{10 e^9 (d+e x)}+\frac {219 b d^2 n \log (x)}{10 e^9}-\frac {7 b d x \log \left (c x^n\right )}{e^8}+\frac {x^2 \left (a+b \log \left (c x^n\right )\right )}{2 e^7}-\frac {d^8 \left (a+b \log \left (c x^n\right )\right )}{6 e^9 (d+e x)^6}+\frac {8 d^7 \left (a+b \log \left (c x^n\right )\right )}{5 e^9 (d+e x)^5}-\frac {7 d^6 \left (a+b \log \left (c x^n\right )\right )}{e^9 (d+e x)^4}+\frac {56 d^5 \left (a+b \log \left (c x^n\right )\right )}{3 e^9 (d+e x)^3}-\frac {35 d^4 \left (a+b \log \left (c x^n\right )\right )}{e^9 (d+e x)^2}-\frac {56 d^2 x \left (a+b \log \left (c x^n\right )\right )}{e^8 (d+e x)}+\frac {341 b d^2 n \log (d+e x)}{10 e^9}+\frac {28 d^2 \left (a+b \log \left (c x^n\right )\right ) \log \left (1+\frac {e x}{d}\right )}{e^9}+\frac {28 b d^2 n \text {Li}_2\left (-\frac {e x}{d}\right )}{e^9}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.31, size = 403, normalized size = 1.22 \begin {gather*} \frac {-2520 a d e x+2520 b d e n x+180 a e^2 x^2-90 b e^2 n x^2-\frac {60 a d^8}{(d+e x)^6}+\frac {576 a d^7}{(d+e x)^5}+\frac {12 b d^7 n}{(d+e x)^5}-\frac {2520 a d^6}{(d+e x)^4}-\frac {129 b d^6 n}{(d+e x)^4}+\frac {6720 a d^5}{(d+e x)^3}+\frac {668 b d^5 n}{(d+e x)^3}-\frac {12600 a d^4}{(d+e x)^2}-\frac {2358 b d^4 n}{(d+e x)^2}+\frac {20160 a d^3}{d+e x}+\frac {7884 b d^3 n}{d+e x}-12276 b d^2 n \log (x)-2520 b d e x \log \left (c x^n\right )+180 b e^2 x^2 \log \left (c x^n\right )-\frac {60 b d^8 \log \left (c x^n\right )}{(d+e x)^6}+\frac {576 b d^7 \log \left (c x^n\right )}{(d+e x)^5}-\frac {2520 b d^6 \log \left (c x^n\right )}{(d+e x)^4}+\frac {6720 b d^5 \log \left (c x^n\right )}{(d+e x)^3}-\frac {12600 b d^4 \log \left (c x^n\right )}{(d+e x)^2}+\frac {20160 b d^3 \log \left (c x^n\right )}{d+e x}+12276 b d^2 n \log (d+e x)+10080 a d^2 \log \left (1+\frac {e x}{d}\right )+10080 b d^2 \log \left (c x^n\right ) \log \left (1+\frac {e x}{d}\right )+10080 b d^2 n \text {Li}_2\left (-\frac {e x}{d}\right )}{360 e^9} \end {gather*}
Antiderivative was successfully verified.
[In]
Integrate[(x^8*(a + b*Log[c*x^n]))/(d + e*x)^7,x]
[Out]
(-2520*a*d*e*x + 2520*b*d*e*n*x + 180*a*e^2*x^2 - 90*b*e^2*n*x^2 - (60*a*d^8)/(d + e*x)^6 + (576*a*d^7)/(d + e
*x)^5 + (12*b*d^7*n)/(d + e*x)^5 - (2520*a*d^6)/(d + e*x)^4 - (129*b*d^6*n)/(d + e*x)^4 + (6720*a*d^5)/(d + e*
x)^3 + (668*b*d^5*n)/(d + e*x)^3 - (12600*a*d^4)/(d + e*x)^2 - (2358*b*d^4*n)/(d + e*x)^2 + (20160*a*d^3)/(d +
e*x) + (7884*b*d^3*n)/(d + e*x) - 12276*b*d^2*n*Log[x] - 2520*b*d*e*x*Log[c*x^n] + 180*b*e^2*x^2*Log[c*x^n] -
(60*b*d^8*Log[c*x^n])/(d + e*x)^6 + (576*b*d^7*Log[c*x^n])/(d + e*x)^5 - (2520*b*d^6*Log[c*x^n])/(d + e*x)^4
+ (6720*b*d^5*Log[c*x^n])/(d + e*x)^3 - (12600*b*d^4*Log[c*x^n])/(d + e*x)^2 + (20160*b*d^3*Log[c*x^n])/(d + e
*x) + 12276*b*d^2*n*Log[d + e*x] + 10080*a*d^2*Log[1 + (e*x)/d] + 10080*b*d^2*Log[c*x^n]*Log[1 + (e*x)/d] + 10
080*b*d^2*n*PolyLog[2, -((e*x)/d)])/(360*e^9)
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
4.
time = 0.13, size = 1768, normalized size = 5.37
| | |
| method |
result |
size |
| | |
| risch |
\(\text {Expression too large to display}\) |
\(1768\) |
| | |
|
|
|
|
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(x^8*(a+b*ln(c*x^n))/(e*x+d)^7,x,method=_RETURNVERBOSE)
[Out]
-28*b*n/e^9*d^2*ln(e*x+d)*ln(-e*x/d)+1/4*I*b*Pi*csgn(I*c)*csgn(I*c*x^n)^2/e^7*x^2+28/3*I*b*Pi*csgn(I*x^n)*csgn
(I*c*x^n)^2/e^9*d^5/(e*x+d)^3+28/3*I*b*Pi*csgn(I*c)*csgn(I*c*x^n)^2/e^9*d^5/(e*x+d)^3+56/3*b*ln(x^n)/e^9*d^5/(
e*x+d)^3+28*b*ln(x^n)/e^9*d^2*ln(e*x+d)+8/5*b*ln(x^n)/e^9*d^7/(e*x+d)^5-7*b*ln(x^n)/e^9*d^6/(e*x+d)^4+35/2*I*b
*Pi*csgn(I*c)*csgn(I*x^n)*csgn(I*c*x^n)/e^9*d^4/(e*x+d)^2-28*I*b*Pi*csgn(I*c)*csgn(I*x^n)*csgn(I*c*x^n)/e^9*d^
3/(e*x+d)-28/3*I*b*Pi*csgn(I*c)*csgn(I*x^n)*csgn(I*c*x^n)/e^9*d^5/(e*x+d)^3-28*I*b*Pi*csgn(I*c*x^n)^3/e^9*d^3/
(e*x+d)+35/2*I*b*Pi*csgn(I*c*x^n)^3/e^9*d^4/(e*x+d)^2-131/20*b*n/e^9*d^4/(e*x+d)^2+167/90*b*n/e^9*d^5/(e*x+d)^
3-43/120*b*n/e^9*d^6/(e*x+d)^4+1/30*b*n/e^9*d^7/(e*x+d)^5-28*b*n/e^9*d^2*dilog(-e*x/d)-35*b*ln(x^n)/e^9*d^4/(e
*x+d)^2-1/6*b*ln(x^n)*d^8/e^9/(e*x+d)^6-341/10*b*n/e^9*d^2*ln(e*x)+341/10*b*n/e^9*d^2*ln(e*x+d)+219/10*b*n/e^9
*d^3/(e*x+d)+56*a/e^9*d^3/(e*x+d)-35*a/e^9*d^4/(e*x+d)^2-1/6*a*d^8/e^9/(e*x+d)^6+1/2*a/e^7*x^2-1/4*I*b*Pi*csgn
(I*c*x^n)^3/e^7*x^2-7*a/e^8*d*x+56/3*a/e^9*d^5/(e*x+d)^3+28*a/e^9*d^2*ln(e*x+d)+8/5*a/e^9*d^7/(e*x+d)^5-7*a/e^
9*d^6/(e*x+d)^4-1/4*b*n*x^2/e^7+1/12*I*b*Pi*csgn(I*c*x^n)^3*d^8/e^9/(e*x+d)^6+1/2*b*ln(c)/e^7*x^2+29/4*b*n/e^9
*d^2-7*b*ln(c)/e^8*d*x+56/3*b*ln(c)/e^9*d^5/(e*x+d)^3+8/5*b*ln(c)/e^9*d^7/(e*x+d)^5-7*b*ln(c)/e^9*d^6/(e*x+d)^
4+56*b*ln(c)/e^9*d^3/(e*x+d)-35*b*ln(c)/e^9*d^4/(e*x+d)^2-1/6*b*ln(c)*d^8/e^9/(e*x+d)^6+28*b*ln(c)/e^9*d^2*ln(
e*x+d)+1/12*I*b*Pi*csgn(I*c)*csgn(I*x^n)*csgn(I*c*x^n)*d^8/e^9/(e*x+d)^6-14*I*b*Pi*csgn(I*c)*csgn(I*x^n)*csgn(
I*c*x^n)/e^9*d^2*ln(e*x+d)+56*b*ln(x^n)/e^9*d^3/(e*x+d)+7/2*I*b*Pi*csgn(I*c)*csgn(I*x^n)*csgn(I*c*x^n)/e^8*d*x
-4/5*I*b*Pi*csgn(I*c)*csgn(I*x^n)*csgn(I*c*x^n)/e^9*d^7/(e*x+d)^5+7/2*I*b*Pi*csgn(I*c)*csgn(I*x^n)*csgn(I*c*x^
n)/e^9*d^6/(e*x+d)^4+28*I*b*Pi*csgn(I*x^n)*csgn(I*c*x^n)^2/e^9*d^3/(e*x+d)-1/4*I*b*Pi*csgn(I*c)*csgn(I*x^n)*cs
gn(I*c*x^n)/e^7*x^2-7/2*I*b*Pi*csgn(I*c)*csgn(I*c*x^n)^2/e^8*d*x+14*I*b*Pi*csgn(I*x^n)*csgn(I*c*x^n)^2/e^9*d^2
*ln(e*x+d)+14*I*b*Pi*csgn(I*c)*csgn(I*c*x^n)^2/e^9*d^2*ln(e*x+d)+4/5*I*b*Pi*csgn(I*c)*csgn(I*c*x^n)^2/e^9*d^7/
(e*x+d)^5-14*I*b*Pi*csgn(I*c*x^n)^3/e^9*d^2*ln(e*x+d)-4/5*I*b*Pi*csgn(I*c*x^n)^3/e^9*d^7/(e*x+d)^5+7/2*I*b*Pi*
csgn(I*c*x^n)^3/e^9*d^6/(e*x+d)^4+1/4*I*b*Pi*csgn(I*x^n)*csgn(I*c*x^n)^2/e^7*x^2+7/2*I*b*Pi*csgn(I*c*x^n)^3/e^
8*d*x-28/3*I*b*Pi*csgn(I*c*x^n)^3/e^9*d^5/(e*x+d)^3-35/2*I*b*Pi*csgn(I*c)*csgn(I*c*x^n)^2/e^9*d^4/(e*x+d)^2-1/
12*I*b*Pi*csgn(I*c)*csgn(I*c*x^n)^2*d^8/e^9/(e*x+d)^6-7/2*I*b*Pi*csgn(I*x^n)*csgn(I*c*x^n)^2/e^8*d*x-7*b*ln(x^
n)/e^8*d*x+1/2*b*ln(x^n)/e^7*x^2-35/2*I*b*Pi*csgn(I*x^n)*csgn(I*c*x^n)^2/e^9*d^4/(e*x+d)^2-1/12*I*b*Pi*csgn(I*
x^n)*csgn(I*c*x^n)^2*d^8/e^9/(e*x+d)^6+4/5*I*b*Pi*csgn(I*x^n)*csgn(I*c*x^n)^2/e^9*d^7/(e*x+d)^5-7/2*I*b*Pi*csg
n(I*x^n)*csgn(I*c*x^n)^2/e^9*d^6/(e*x+d)^4-7/2*I*b*Pi*csgn(I*c)*csgn(I*c*x^n)^2/e^9*d^6/(e*x+d)^4+28*I*b*Pi*cs
gn(I*c)*csgn(I*c*x^n)^2/e^9*d^3/(e*x+d)+7*b*d*n*x/e^8
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(x^8*(a+b*log(c*x^n))/(e*x+d)^7,x, algorithm="maxima")
[Out]
1/30*(840*d^2*e^(-9)*log(x*e + d) + 15*(x^2*e - 14*d*x)*e^(-8) + (1680*d^3*x^5*e^5 + 7350*d^4*x^4*e^4 + 13160*
d^5*x^3*e^3 + 11970*d^6*x^2*e^2 + 5508*d^7*x*e + 1023*d^8)/(x^6*e^15 + 6*d*x^5*e^14 + 15*d^2*x^4*e^13 + 20*d^3
*x^3*e^12 + 15*d^4*x^2*e^11 + 6*d^5*x*e^10 + d^6*e^9))*a + b*integrate((x^8*log(c) + x^8*log(x^n))/(x^7*e^7 +
7*d*x^6*e^6 + 21*d^2*x^5*e^5 + 35*d^3*x^4*e^4 + 35*d^4*x^3*e^3 + 21*d^5*x^2*e^2 + 7*d^6*x*e + d^7), x)
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(x^8*(a+b*log(c*x^n))/(e*x+d)^7,x, algorithm="fricas")
[Out]
integral((b*x^8*log(c*x^n) + a*x^8)/(x^7*e^7 + 7*d*x^6*e^6 + 21*d^2*x^5*e^5 + 35*d^3*x^4*e^4 + 35*d^4*x^3*e^3
+ 21*d^5*x^2*e^2 + 7*d^6*x*e + d^7), x)
________________________________________________________________________________________
Sympy [A]
time = 152.94, size = 1686, normalized size = 5.12 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(x**8*(a+b*ln(c*x**n))/(e*x+d)**7,x)
[Out]
a*d**8*Piecewise((x/d**7, Eq(e, 0)), (-1/(6*e*(d + e*x)**6), True))/e**8 - 8*a*d**7*Piecewise((x/d**6, Eq(e, 0
)), (-1/(5*e*(d + e*x)**5), True))/e**8 + 28*a*d**6*Piecewise((x/d**5, Eq(e, 0)), (-1/(4*e*(d + e*x)**4), True
))/e**8 - 56*a*d**5*Piecewise((x/d**4, Eq(e, 0)), (-1/(3*e*(d + e*x)**3), True))/e**8 + 70*a*d**4*Piecewise((x
/d**3, Eq(e, 0)), (-1/(2*e*(d + e*x)**2), True))/e**8 - 56*a*d**3*Piecewise((x/d**2, Eq(e, 0)), (-1/(d*e + e**
2*x), True))/e**8 + 28*a*d**2*Piecewise((x/d, Eq(e, 0)), (log(d + e*x)/e, True))/e**8 - 7*a*d*x/e**8 + a*x**2/
(2*e**7) - b*d**8*n*Piecewise((x/d**7, Eq(e, 0)), (-137*d**4/(360*d**10*e + 1800*d**9*e**2*x + 3600*d**8*e**3*
x**2 + 3600*d**7*e**4*x**3 + 1800*d**6*e**5*x**4 + 360*d**5*e**6*x**5) - 385*d**3*e*x/(360*d**10*e + 1800*d**9
*e**2*x + 3600*d**8*e**3*x**2 + 3600*d**7*e**4*x**3 + 1800*d**6*e**5*x**4 + 360*d**5*e**6*x**5) - 470*d**2*e**
2*x**2/(360*d**10*e + 1800*d**9*e**2*x + 3600*d**8*e**3*x**2 + 3600*d**7*e**4*x**3 + 1800*d**6*e**5*x**4 + 360
*d**5*e**6*x**5) - 270*d*e**3*x**3/(360*d**10*e + 1800*d**9*e**2*x + 3600*d**8*e**3*x**2 + 3600*d**7*e**4*x**3
+ 1800*d**6*e**5*x**4 + 360*d**5*e**6*x**5) - 60*e**4*x**4/(360*d**10*e + 1800*d**9*e**2*x + 3600*d**8*e**3*x
**2 + 3600*d**7*e**4*x**3 + 1800*d**6*e**5*x**4 + 360*d**5*e**6*x**5) - log(x)/(6*d**6*e) + log(d/e + x)/(6*d*
*6*e), True))/e**8 + b*d**8*Piecewise((x/d**7, Eq(e, 0)), (-1/(6*e*(d + e*x)**6), True))*log(c*x**n)/e**8 + 8*
b*d**7*n*Piecewise((x/d**6, Eq(e, 0)), (-25*d**3/(60*d**8*e + 240*d**7*e**2*x + 360*d**6*e**3*x**2 + 240*d**5*
e**4*x**3 + 60*d**4*e**5*x**4) - 52*d**2*e*x/(60*d**8*e + 240*d**7*e**2*x + 360*d**6*e**3*x**2 + 240*d**5*e**4
*x**3 + 60*d**4*e**5*x**4) - 42*d*e**2*x**2/(60*d**8*e + 240*d**7*e**2*x + 360*d**6*e**3*x**2 + 240*d**5*e**4*
x**3 + 60*d**4*e**5*x**4) - 12*e**3*x**3/(60*d**8*e + 240*d**7*e**2*x + 360*d**6*e**3*x**2 + 240*d**5*e**4*x**
3 + 60*d**4*e**5*x**4) - log(x)/(5*d**5*e) + log(d/e + x)/(5*d**5*e), True))/e**8 - 8*b*d**7*Piecewise((x/d**6
, Eq(e, 0)), (-1/(5*e*(d + e*x)**5), True))*log(c*x**n)/e**8 - 28*b*d**6*n*Piecewise((x/d**5, Eq(e, 0)), (-11*
d**2/(24*d**6*e + 72*d**5*e**2*x + 72*d**4*e**3*x**2 + 24*d**3*e**4*x**3) - 15*d*e*x/(24*d**6*e + 72*d**5*e**2
*x + 72*d**4*e**3*x**2 + 24*d**3*e**4*x**3) - 6*e**2*x**2/(24*d**6*e + 72*d**5*e**2*x + 72*d**4*e**3*x**2 + 24
*d**3*e**4*x**3) - log(x)/(4*d**4*e) + log(d/e + x)/(4*d**4*e), True))/e**8 + 28*b*d**6*Piecewise((x/d**5, Eq(
e, 0)), (-1/(4*e*(d + e*x)**4), True))*log(c*x**n)/e**8 + 56*b*d**5*n*Piecewise((x/d**4, Eq(e, 0)), (-3*d/(6*d
**4*e + 12*d**3*e**2*x + 6*d**2*e**3*x**2) - 2*e*x/(6*d**4*e + 12*d**3*e**2*x + 6*d**2*e**3*x**2) - log(x)/(3*
d**3*e) + log(d/e + x)/(3*d**3*e), True))/e**8 - 56*b*d**5*Piecewise((x/d**4, Eq(e, 0)), (-1/(3*e*(d + e*x)**3
), True))*log(c*x**n)/e**8 - 70*b*d**4*n*Piecewise((x/d**3, Eq(e, 0)), (-1/(2*d**2*e + 2*d*e**2*x) - log(x)/(2
*d**2*e) + log(d/e + x)/(2*d**2*e), True))/e**8 + 70*b*d**4*Piecewise((x/d**3, Eq(e, 0)), (-1/(2*e*(d + e*x)**
2), True))*log(c*x**n)/e**8 + 56*b*d**3*n*Piecewise((x/d**2, Eq(e, 0)), (-log(x)/(d*e) + log(d/e + x)/(d*e), T
rue))/e**8 - 56*b*d**3*Piecewise((x/d**2, Eq(e, 0)), (-1/(d*e + e**2*x), True))*log(c*x**n)/e**8 - 28*b*d**2*n
*Piecewise((x/d, Eq(e, 0)), (Piecewise((-polylog(2, e*x*exp_polar(I*pi)/d), (Abs(x) < 1) & (1/Abs(x) < 1)), (l
og(d)*log(x) - polylog(2, e*x*exp_polar(I*pi)/d), Abs(x) < 1), (-log(d)*log(1/x) - polylog(2, e*x*exp_polar(I*
pi)/d), 1/Abs(x) < 1), (-meijerg(((), (1, 1)), ((0, 0), ()), x)*log(d) + meijerg(((1, 1), ()), ((), (0, 0)), x
)*log(d) - polylog(2, e*x*exp_polar(I*pi)/d), True))/e, True))/e**8 + 28*b*d**2*Piecewise((x/d, Eq(e, 0)), (lo
g(d + e*x)/e, True))*log(c*x**n)/e**8 + 7*b*d*n*x/e**8 - 7*b*d*x*log(c*x**n)/e**8 - b*n*x**2/(4*e**7) + b*x**2
*log(c*x**n)/(2*e**7)
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(x^8*(a+b*log(c*x^n))/(e*x+d)^7,x, algorithm="giac")
[Out]
integrate((b*log(c*x^n) + a)*x^8/(x*e + d)^7, x)
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {x^8\,\left (a+b\,\ln \left (c\,x^n\right )\right )}{{\left (d+e\,x\right )}^7} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
int((x^8*(a + b*log(c*x^n)))/(d + e*x)^7,x)
[Out]
int((x^8*(a + b*log(c*x^n)))/(d + e*x)^7, x)
________________________________________________________________________________________